Generic downwards accumulations
نویسندگان
چکیده
منابع مشابه
Polytypic Downwards Accumulations
A downwards accumulation is a higher-order operation that distributes information downwards through a data structure, from the root towards the leaves. The concept was originally introduced in an ad hoc way for just a couple of kinds of tree. We generalize the concept to an arbitrary polynomial datatype; our generalization proceeds via the notion of a path in such a datatype.
متن کاملComputing Downwards Accumulations on Trees Quickly
Downwards accumulations on binary trees are essentially functions which pass information down a tree, from the root towards the leaves. Under certain conditions, a downwards accumulation is bothèecient' (computable in a functional style in parallel time proportional to the depth of the tree) and`manipulable' (enjoying a number of distributivity properties useful in program construction). In thi...
متن کاملCalculating Accumulations 1 Calculating Accumulations
The accumulation strategy consists of generalizing a function over an algebraic data structure by inclusion of an extra parameter, an accumulating parameter, for reusing and propagating intermediate results. It is one of the standard optimization techniques taught to functional programmers 13). However , there remain two major diculties in this accumulation strategy. One is to determine where a...
متن کاملTranslating Equality Downwards
Downward translation of equality refers to cases where a collapse of some pair of complexity classes would induce a collapse of some other pair of complexity classes that (a priori) one expects are smaller. Recently, the first downward translation of equality was obtained that applied to the polynomial hierarchy—in particular, to bounded access to its levels [HHH97]. In this paper, we provide a...
متن کاملNeuropeptidomics: expanding proteomics downwards.
Biological function is mainly carried out by a dynamic population of proteins and peptides which may be used as markers for disease diagnosis, prognosis and as a guide for effective treatment. The study of proteins is called proteomics and it is generally performed by two-dimensional gel electrophoresis and mass spectrometric methods. However, gel-based proteomics is methodologically restricted...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2000
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(99)00022-2